Some Automata{theoretic Aspects of Min{max{plus Semirings
نویسنده
چکیده
This paper is devoted to the survey of some automata-theoretic aspects of diierent exotic semirings, i.e. semirings whose underlying set is some subset of R equiped with min, max or + as sum and/or product. We here adress three types of properties related with rational series with multiplicities in such semirings : structure of supports, decidability of equality and inequality problems, Fatou properties.
منابع مشابه
Recognizable Tree Series with Discounting
We consider weighted tree automata with discounting over commutative semirings. For their behaviors we establish a Kleene theorem and an MSOlogic characterization. We introduce also weighted Muller tree automata with discounting over the max-plus and the min-plus semirings, and we show their expressive equivalence with two fragments of weighted MSO-sentences.
متن کاملSOME HYPER K-ALGEBRAIC STRUCTURES INDUCED BY MAX-MIN GENERAL FUZZY AUTOMATA
We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...
متن کاملWeighted Automata and Weighted Logics with Discounting
We introduce a weighted logic with discounting and we establish Büchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. Then we investigate Büchi and Muller automata with discounting over the max-plus and the min-plus semiring. We show their expressive equivalence with weighted MSO-sentences with discounting. In this case our logic has a purely s...
متن کاملCS780 Project: The Weighted Automata Network Analyzer
Weighted automata generalize a number of concepts found in discrete event dynamics systems of various kind. Semirings are used as a base algebra for describing weights which implies a variety different interpretations for particular application cases. In this project, we want to explore how theoretical results in fact boil down to algorithms and techniques that work in practice. The goal of thi...
متن کاملTwo Lectures on Max-plus Algebra
Exotic semirings such as the “(max,+) semiring” (R ∪ {−∞},max,+), or the “tropical semiring” (N ∪ {+∞},min,+), have been invented and reinvented many times since the late fifties, in relation with various fields: performance evaluation of manufacturing systems and discrete event system theory; graph theory (path algebra) and Markov decision processes, Hamilton-Jacobi theory; asymptotic analysis...
متن کامل